Optimal. Leaf size=49 \[ \frac{b n \text{PolyLog}\left (2,-\frac{d}{e x^2}\right )}{4 d}-\frac{\log \left (\frac{d}{e x^2}+1\right ) \left (a+b \log \left (c x^n\right )\right )}{2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0645087, antiderivative size = 49, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.087, Rules used = {2345, 2391} \[ \frac{b n \text{PolyLog}\left (2,-\frac{d}{e x^2}\right )}{4 d}-\frac{\log \left (\frac{d}{e x^2}+1\right ) \left (a+b \log \left (c x^n\right )\right )}{2 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2345
Rule 2391
Rubi steps
\begin{align*} \int \frac{a+b \log \left (c x^n\right )}{x \left (d+e x^2\right )} \, dx &=-\frac{\log \left (1+\frac{d}{e x^2}\right ) \left (a+b \log \left (c x^n\right )\right )}{2 d}+\frac{(b n) \int \frac{\log \left (1+\frac{d}{e x^2}\right )}{x} \, dx}{2 d}\\ &=-\frac{\log \left (1+\frac{d}{e x^2}\right ) \left (a+b \log \left (c x^n\right )\right )}{2 d}+\frac{b n \text{Li}_2\left (-\frac{d}{e x^2}\right )}{4 d}\\ \end{align*}
Mathematica [B] time = 0.0818811, size = 126, normalized size = 2.57 \[ -\frac{b^2 n^2 \text{PolyLog}\left (2,\frac{\sqrt{e} x}{\sqrt{-d}}\right )+b^2 n^2 \text{PolyLog}\left (2,\frac{d \sqrt{e} x}{(-d)^{3/2}}\right )-\left (a+b \log \left (c x^n\right )\right ) \left (a+b \log \left (c x^n\right )-b n \log \left (\frac{\sqrt{e} x}{\sqrt{-d}}+1\right )-b n \log \left (\frac{d \sqrt{e} x}{(-d)^{3/2}}+1\right )\right )}{2 b d n} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.212, size = 439, normalized size = 9. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} -\frac{1}{2} \, a{\left (\frac{\log \left (e x^{2} + d\right )}{d} - \frac{2 \, \log \left (x\right )}{d}\right )} + b \int \frac{\log \left (c\right ) + \log \left (x^{n}\right )}{e x^{3} + d x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{b \log \left (c x^{n}\right ) + a}{e x^{3} + d x}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 19.8318, size = 124, normalized size = 2.53 \begin{align*} \frac{a \log{\left (x \right )}}{d} - \frac{a \log{\left (d + e x^{2} \right )}}{2 d} + \frac{b n \left (\begin{cases} \log{\left (e \right )} \log{\left (x \right )} + \frac{\operatorname{Li}_{2}\left (\frac{d e^{i \pi }}{e x^{2}}\right )}{2} & \text{for}\: \left |{x}\right | < 1 \\- \log{\left (e \right )} \log{\left (\frac{1}{x} \right )} + \frac{\operatorname{Li}_{2}\left (\frac{d e^{i \pi }}{e x^{2}}\right )}{2} & \text{for}\: \frac{1}{\left |{x}\right |} < 1 \\-{G_{2, 2}^{2, 0}\left (\begin{matrix} & 1, 1 \\0, 0 & \end{matrix} \middle |{x} \right )} \log{\left (e \right )} +{G_{2, 2}^{0, 2}\left (\begin{matrix} 1, 1 & \\ & 0, 0 \end{matrix} \middle |{x} \right )} \log{\left (e \right )} + \frac{\operatorname{Li}_{2}\left (\frac{d e^{i \pi }}{e x^{2}}\right )}{2} & \text{otherwise} \end{cases}\right )}{2 d} - \frac{b \log{\left (c x^{n} \right )} \log{\left (\frac{d}{x^{2}} + e \right )}}{2 d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{b \log \left (c x^{n}\right ) + a}{{\left (e x^{2} + d\right )} x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]